% MergeSort-RecursionTree
% Manuel Kirsch
\documentclass[a4paper,landscape]{scrartcl}
%%%<
\usepackage{verbatim}
\usepackage[active,tightpage]{preview}
%\PreviewEnvironment{tikzpicture}
\setlength\PreviewBorder{5pt}%
%%%>

\usepackage{tikz}


\begin{document}
\begin{preview}

\input{styles.tex}

\begin{tikzpicture}[level/.style={sibling distance=80mm/#1}]
\node [rectangle,normal] (z){$F$}
    child {
        node [rectangle,draw,normal] (a) {$F_1 = F_0[x_1 =0]$}
            child {
                node [rectangle,draw,normal] (b) {$F_2 = F_1[x_2=0]$}
                child {
                    node {$\vdots$}
                    edge from parent [normal]
                    node[left] {$ x_3 = 0 $}
                }
                child {
                    node {$\vdots$}
                    edge from parent [normal]
                    node[right] {$ x_3 = 1 $}
                }
                edge from parent [normal]
                node[left] {$ x_2 = 0 $}
            }
            child {
                node [rectangle,draw,normal] (g) {$F_2 = [x_2=1]$}
                child {
                    node {$\vdots$}
                    edge from parent [normal]
                    node[left] {$ x_3 = 0 $}
                }
                child {
                    node {$\vdots$}
                    edge from parent [normal]
                    node[right] {$ x_3=1 $}
                }
                edge from parent [normal]
                node[right] {$ x_2=1 $}
            }
        edge from parent [normal]
        node[left] {$ x_1=0 $}
  }
  child {
        node [rectangle,draw,normal] (a) {$F_1 = F_0[x_1 =1]$}
            child {
                node [rectangle,draw,normal] (b) {$F_2 = F_1[x_2=0]$}
                child {
                    node {$\vdots$}
                    edge from parent [normal]
                    node[left] {$ x_3 = 0 $}
                }
                child {
                    node {$\vdots$}
                    edge from parent [normal]
                    node[right] {$ x_3 = 1 $}
                }
                edge from parent [normal]
                node[left] {$ x_2 = 0 $}
            }
            child {
                node [rectangle,draw,normal] (g) {$F_2 = [x_2=1]$}
                child {
                    node {$\vdots$}
                    edge from parent [normal]
                    node[left] {$ x_3 = 0 $}
                }
                child {
                    node {$\vdots$}
                    edge from parent [normal]
                    node[right] {$ x_3=1 $}
                }
                edge from parent [normal]
                node[right] {$ x_2=1 $}
            }
        edge from parent [normal]
        node[left] {$ x_1=1 $}
  };

\end{tikzpicture}
\end{preview}
\end{document}
